#!/bin/bash

cd thirdparty

# Build libeusolver
cd libeusolver
mkdir -p build
cd build && cmake ..
make && cd ..
cd ..

Build z3
cd z3
python3 scripts/mk_make.py
cd build && make -j 8 && cd ..
cd ..

cd ..

